Foot and mouth disease model verification and 'relative validation' through a formal model comparison.
نویسندگان
چکیده
Researchers from Australia, New Zealand, Canada and the United States collaborated to validate their foot and mouth disease models--AusSpread, InterSpread Plus and the North American Animal Disease Spread Model--in an effort to build confidence in their use as decision-support tools. The final stage of this project involved using the three models to simulate a number of disease outbreak scenarios, with data from the Republic of Ireland. The scenarios included an uncontrolled epidemic, and epidemics managed by combinations of stamping out and vaccination. The predicted numbers of infected premises, the duration of each epidemic, and the size of predicted outbreak areas were compared. Relative within-model between-scenario changes resulting from different control strategies or resource constraints in different scenarios were quantified and compared. Although there were differences between the models in absolute outcomes, between-scenario comparisons within each model were similar. In all three models, early use of ring vaccination resulted in the largest drop in number of infected premises compared with the standard stamping-out regimen. This consistency implies that the assumptions made by each of the three modelling teams were appropriate, which in turn serves to increase end-user confidence in predictions made by these models.
منابع مشابه
Optimal Control of Hand, Foot and Mouth Disease Model using Variational Iteration Method
In this paper, the optimal control of transmission dynamics of hand, foot and mouth disease (HFMD), formulated by a compartmental deterministic SEIPR (Susceptible-Incubation (Exposed)- Infected - Post infection virus shedding - Recovered) model with vaccination and treatment as control parameters is considered. The objective function is based on the combination of minimizing the number of infec...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملA short introduction to two approaches in formal verification of security protocols: model checking and theorem proving
In this paper, we shortly review two formal approaches in verification of security protocols; model checking and theorem proving. Model checking is based on studying the behavior of protocols via generating all different behaviors of a protocol and checking whether the desired goals are satisfied in all instances or not. We investigate Scyther operational semantics as n example of this...
متن کاملExpression of an epitope-based recombinant vaccine against Foot and Mouth Disease (FMDV) in tobacco plant (Nicotiana tabacum)
Regarding high potential of green plants for development of recombinant vaccines, this research was conducted to evaluate expression of a novel recombinant vaccines against Foot and Mouth Disease (FMDV) in tobacco plant. For this purpose, a synthetic gene encoding 129-169 amino acids of foot and mouth disease virus capsid protein VP1 was transferred to tobacco plant via Agrobacterium-mediated g...
متن کاملComparison of two gel filtration chromatography resins for the purification of foot-and-mouth disease virus as a purified vaccine antigen
Introduction: Foot-and-mouth disease (FMD) is a highly contagious and economically devastating viral disease of livestock that is categorized in list A of animal diseases by the World Organisation for Animal Health (OIE). Vaccination is effective against FMD and the vaccine production centers largely use the industrial ultra-filtration and chromatography in order to remove the cellular proteins...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Revue scientifique et technique
دوره 30 2 شماره
صفحات -
تاریخ انتشار 2011